<language> (CML) A concurrent extension of SML/NJ written by J. Reppy at Cornell University in 1990. CML supports dynamic thread creation and synchronous message passing on typed channels. Threads are implemented using first-class continuations. First-class synchronous operations allow users to tailor their synchronisation abstractions for their application. CML also supports both stream I/O and low-level I/O in an integrated fashion. Latest version 0.9.8, as of 1994-12-21, requires SML/NJ 0.75 or later. ftp://ftp.cs.cornell.edu/pub/. E-mail: <sml-bugs@research.att.com> (bugs). ["CML: A Higher-Order Concurrent Language", John H. Reppy, SIGPLAN Notices 26(6):293-305, June 1991]. (2000-08-09)

Concurrent computing is a form of computing in which several computations are executed concurrently—during overlapping time periods—instead of sequentially—with one completing before the next starts.

Meta Language

1. <robotics> Manipulator Language. IBM language for handling robots. 2. Meta Language. R. Milner <rm@lfcs.edinburgh.ac.uk> et al, 1973. A strict higher-order functional language. It was the first language to include polymorphic typing which was statically-checked. It also had garbage collection and a formal semantics. It began as the metalanguage for the Edinburgh LCF proof assistant. (LCF="Logic for Computable Functions") People soon noticed that ML could be a useful general programming language and stand-alone versions were implemented. Standard ML (SML) is a descendant of these (and related languages such as Hope). The "metalanguage" aspect has long since disappeared from the language itself (although there are some systems that still use it that way). The historical name is now so inappropriate that asking what ML stands for is like asking what C or Unix stands for. It doesn't stand for anything; it just is. LCF ML was implemented in Stanford LISP. Cardelli (1981) implemented ML in Pascal using the {Functional Abstract Machine} (FAM). It has been significantly redesigned to produce Standard ML and Lazy ML. ["A Metalanguage for Interactive Proof in LCF", M.J.C. Gordon et al, 5th POPL, ACM 1978]. (2006-07-21)

Mail List

<networking> The country code for Mali. (1999-01-27)

n. the situation when more than one person has an interest in real property at the same time, which may include tenancy in common, joint tenancy or tenancy by the entirety. See also: community property cotenant joint tenancy tenancy by the entirety tenancy in common